/* Finish the session at the user end. */
MenuPtr = parent.menu.document;
MenuPtr.writeln("<br>");
MenuPtr.close();
